The first term in a minimal pure injective resolution.
نویسندگان
چکیده
منابع مشابه
Pure-injective modules
The pure-injective R-modules are defined easily enough: as those modules which are injective over all pure embeddings, where an embedding A → B is said to be pure if every finite system of R-linear equations with constants from A and a solution in B has a solution in A. But the definition itself gives no indication of the rich theory around purity and pure-injectivity. The purpose of this surve...
متن کاملSuperdecomposable pure-injective modules
Existence of superdecomposable pure-injective modules reflects complexity in the category of finite-dimensional representations. We describe the relation in terms of pointed modules. We present methods for producing superdecomposable pure-injectives and give some details of recent work of Harland doing this in the context of tubular algebras. 2010 Mathematics Subject Classification. Primary 16G...
متن کاملType-checking injective pure type systems
Injective Pure Type Systems form a large class of Pure Type Systems for which one can compute by purely syntactic means two sorts elmt(?jM) and sort(?jM), where ? is a pseudo-context and M is a pseudo-term, and such that for every sort s, ? ` M : A ^ ? ` A : s) elmt(?jM) = s ? ` M : s) sort(?jM) = s By eliminating the problematic clause in the (abstraction) rule in favour of constraints over el...
متن کاملSuperdecomposable pure injective modules over commutative Noetherian rings
We investigate width and Krull–Gabriel dimension over commutative Noetherian rings which are “tame” according to the Klingler–Levy analysis in [4], [5] and [6], in particular over Dedekind-like rings and their homomorphic images. We show that both are undefined in most cases.
متن کاملPure-injective hulls of modules over valuation rings
If R̂ is the pure-injective hull of a valuation ring R, it is proved that R̂ ⊗R M is the pure-injective hull of M , for every finitely generated Rmodule M . Moreover R̂ ⊗R M ∼= ⊕1≤k≤nR̂/AkR̂, where (Ak)1≤k≤n is the annihilator sequence of M . The pure-injective hulls of uniserial or polyserial modules are also investigated. Any two pure-composition series of a countably generated polyserial module a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MATHEMATICA SCANDINAVICA
سال: 1989
ISSN: 1903-1807,0025-5521
DOI: 10.7146/math.scand.a-12263